Unboxing co-creation with students

نویسندگان
چکیده

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Record Unboxing

This paper proposes a type-based optimization method that “unboxes” records whenever possible by flattening nested records and changing top-level tuples to multiple value passing. We first develop a type-based algorithm that infers whether each record expression is “rigid” or not, i.e. whether it requires heap allocation or not. This is based on the observation that the changes the representati...

متن کامل

Unboxing using Specialisation

In performance-critical parts of functional programs substantial performance improvements can be achieved by using unboxed, instead of boxed, data types. Unfortunately, polymorphic functions and data types cannot directly manipulate unboxed values, precisely because they do not conform to the standard boxed representation. Instead, specialised, monomor-phic versions of these functions and data ...

متن کامل

Consumer co-creation

The paper provides an integrated view of value creation in the development of new products and services related to ICT. We argue that customer integration into the development process as a whole is a key for enhanced innovation processes. Building on early experiences from two projects conducted with a living lab approach we ask how this approach can help organizations utilize important resourc...

متن کامل

Parametricity and Unboxing with Unpointed Types

In lazy functional languages, .l. is typically an element of every type. While this provides great flexibility, it also comes at a cost. In this paper we explore the consequences of allowing unpointed types in a lazy functional language like HaskeU. We use the type (and class) system to keep track of pointedness, and show the consequences for parametricity and for controlling evaluation order a...

متن کامل

GC-Safe Interprocedural Unboxing

Modern approaches to garbage collection (GC ) require information about which variables and fields contain GC-managed pointers. Interprocedural flow analysis can be used to eliminate otherwise unnecessary heap allocated objects (unboxing), but must maintain the necessary GC information. We define a core language which models compiler correctness with respect to the GC, and develop a correctness...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Nordic Journal of Information Literacy in Higher Education

سال: 2019

ISSN: 1890-5900

DOI: 10.15845/noril.v11i1.2613